Extending Partial Automorphisms and the Proonite Topology on Free Groups
نویسندگان
چکیده
A class of structures C is said to have the extension property for partial automorphisms (EPPA) if, whenever C 1 and C 2 are structures in C, C 1 nite, C 1 C 2 , and p 1 , p 2 , : : :, p n are partial automorphisms of C 1 extending to automorphisms of C 2 , then there exist a nite structure C 3 in C and automorphisms 1 , 2 , : : :, n of C 3 extending the p i. We will prove that some classes of structures have the EPPA and show the equivalence of these kinds of results with problems related with the proonite topology on free groups. In particular, we will give a generalisation of the theorem, due to Ribes and Zalesski stating that a nite product of nitely generated subgroups is closed for this topology.
منابع مشابه
Extending Partial Automorphisms and the Profinite Topology on Free Groups
A class of structures C is said to have the extension property for partial automorphisms (EPPA) if, whenever C1 and C2 are structures in C, C1 finite, C1 ⊆ C2, and p1, p2, . . . , pn are partial automorphisms of C1 extending to automorphisms of C2, then there exist a finite structure C3 in C and automorphisms α1, α2, . . . , αn of C3 extending the pi. We will prove that some classes of structur...
متن کاملMonoid Kernels and Profinite Topologies on the Free Abelian Group
To each pseudovariety of abelian groups residually containing the integers, there is naturally associated a proonite topology on any nite rank free abelian group. We show in this paper that if the pseudovariety in question has a decidable membership problem, then one can eeectively compute membership in the closure of a subgroup and more generally, in the closure of a rational subset of such a ...
متن کاملFree pro nite semigroups over semidirect products
We give a general description of the free proonite semigroups over a semidirect product of pseudovarieties. More precisely, A (V W) is described as a closed subsemigroup of a proonite semidirect product of the form A WA V A W. As a particular case, the free proonite semigroup over J 1 V is described in terms of the geometry of the Cayley graph of the free proonite semigroup over V (here J 1 is ...
متن کاملSome Remarks on Commuting Fixed Point Free Automorphisms of Groups
In this article we will find necessary and sufficient conditions for a fixed point free automorphism (fpf automorphism) of a group to be a commuting automorphism. For a given prime we find the smallest order of a non abelian p-group admitting a commuting f...
متن کاملRamsey properties and extending partial automorphisms for classes of finite structures
We show that every free amalgamation class of finite structures with relations and (symmetric) partial functions is a Ramsey class when enriched by a free linear ordering of vertices. This is a common strengthening of the Nešetřil-Rödl Theorem and the second and third authors’ Ramsey theorem for finite models (that is, structures with both relations and functions). We also find subclasses with ...
متن کامل